Semi-topological K-theory Using Function Complexes

Abstract. The semi-topological K-theory K ∗ (X) of a quasi-projective complex algebraic variety X is based on the notion of algebraic vector bundles modulo algebraic equivalence. This theory is given as the homotopy groups of an infinite loop space K(X) which is equipped with maps K(X) → K(X), K(X) → Ktop(Xan) whose composition is the natural map from the algebraic K-theory of X to the topological K-theory of the underlying analytic space X of X. We give an explicit description of K 0 (X) in terms of K0(X), a description of K semi q (−) in terms of K 0 (−) for projective varieties, a Poincaré duality theorem for projective varieties, and a computation of K(X) whenever X is a product of projective spaces or a smooth complete curve. For X a smooth quasi-projective variety, there are natural Chern class maps from K ∗ (X) to morphic cohomology compatible with similarly defined Chern class maps from algebraic K-theory to motivic cohomology and compatible with the classical Chern class maps from topological K-theory to the singular cohomology of X.